Static and dynamic semantics of NoSQL languages
نویسندگان
چکیده
منابع مشابه
Montages: Uniied Static and Dynamic Semantics of Programming Languages
We unify static and dynamic semantics through the use of Montages, a version of Evolving Algebras specially tailored for programming languages. Montages combines graphical and textual elements to yield specii-cations similar in structure, length, and complexity to those in common language manuals, but with a formal semantics. We aim at a formal instrument which can be equally good understood by...
متن کاملStatic Analysis of Dynamic Languages
Dynamic programming languages are highly popular and widely used. JavaScript is often called the lingua franca of the web and it is the de facto standard for client-side web programming. On the server-side the PHP, Python and Ruby languages are prevalent. What these languages have in common is an expressive power which is not easily captured by any static type system. These, and similar dynamic...
متن کاملstatic versus dynamic assessment of l2 learners’ reading ability
dynamic assessment according to vygotskys sociocultural theory, states that instruction and assessment are interrelated. using static forms of assessment with second and foreign language students could do more harm than good. many teachers neglect to take account of the complexity involved in learning a second or foreign language and often wonder why learning of a language take so long. thi...
Static and Dynamic Properties of DNA Languages
We provide an overview of some current developments on code-related properties of DNA languages. A DNA language is a set of words, each of which is made up of the letters A, C, G, T. Such a word is meant to represent a physical DNA strand. A collection of DNA strands can be stored in-vitro and, either serve the purpose of a database, or undergo a sequence of controlled hio-operations that would...
متن کاملThe Static and Dynamic Semantics of C
Montages are a semi-visual formalism for defining the static and dynamic semantics of a programming language using Gurevich’s Abstract State Machines (ASMs). We describe an application of Montages to describe the static and dynamic semantics of the C programming language.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2013
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2480359.2429083